<html>
<head><meta charset="utf-8"><title>alexreg sync · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html">alexreg sync</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="159352425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352425">(Feb 25 2019 at 16:51)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span>, so we wanted to sync up a bit</p>



<a name="159352435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352435">(Feb 25 2019 at 16:51)</a>:</h4>
<p>I'm also supposed to be chatting with <span class="user-mention" data-user-id="116010">@Aaron Turon</span> in a bit but that's ok</p>



<a name="159352476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352476">(Feb 25 2019 at 16:52)</a>:</h4>
<p>Actually it kind of fits :)</p>



<a name="159352480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352480">(Feb 25 2019 at 16:52)</a>:</h4>
<p>First question, I don't remember anymore, what PRs do you have in flight?</p>



<a name="159352641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352641">(Feb 25 2019 at 16:54)</a>:</h4>
<p>sorry, didn't see the message here...\</p>



<a name="159352649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352649">(Feb 25 2019 at 16:54)</a>:</h4>
<p>so, where should we start?</p>



<a name="159352681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352681">(Feb 25 2019 at 16:55)</a>:</h4>
<p>maybe with impl-trait-in-bindings (again, hah)</p>



<a name="159352685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352685">(Feb 25 2019 at 16:55)</a>:</h4>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> well I'd say start by giving me a mental dump of what you've got going on</p>



<a name="159352689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352689">(Feb 25 2019 at 16:55)</a>:</h4>
<p>e.g., the "table of contents"</p>



<a name="159352691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352691">(Feb 25 2019 at 16:55)</a>:</h4>
<p>do you think you'll have time to collate notes on that over the next week or two?</p>



<a name="159352702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352702">(Feb 25 2019 at 16:55)</a>:</h4>
<p>plausibly yes</p>



<a name="159352706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352706">(Feb 25 2019 at 16:55)</a>:</h4>
<p>possibly with my help?</p>



<a name="159352709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352709">(Feb 25 2019 at 16:55)</a>:</h4>
<p>what I think I would like to do</p>



<a name="159352764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352764">(Feb 25 2019 at 16:56)</a>:</h4>
<p>I'm trying to adopt a strategy of, for each thing we think we want to do, schedule an hour or two of fixed time</p>



<a name="159352769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352769">(Feb 25 2019 at 16:56)</a>:</h4>
<p>to dive in and lay out a roadmap</p>



<a name="159352770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352770">(Feb 25 2019 at 16:56)</a>:</h4>
<p>fair</p>



<a name="159352776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352776">(Feb 25 2019 at 16:56)</a>:</h4>
<p>ideally this would be something we'd do collaboratively a bit</p>



<a name="159352786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352786">(Feb 25 2019 at 16:56)</a>:</h4>
<p>but I could also just do it on my own e.g. if you are busy</p>



<a name="159352792"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352792" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352792">(Feb 25 2019 at 16:56)</a>:</h4>
<p>and we can review after the fact</p>



<a name="159352802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352802">(Feb 25 2019 at 16:56)</a>:</h4>
<p>but essentially I want to try and put in enough "fixed time" to lay out a plan and then hopefull yit's easier to periodically check in on how it's going</p>



<a name="159352804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352804">(Feb 25 2019 at 16:56)</a>:</h4>
<p>also, <span class="user-mention" data-user-id="127859">@Taylor Cramer</span>'s fix to the impl Trait hidden invariant lifetimes thing... that's kind of stalled. I'm happy to pick it up.</p>



<a name="159352819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352819">(Feb 25 2019 at 16:56)</a>:</h4>
<p>right, so, that's on my mind, but from another angle</p>



<a name="159352821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352821">(Feb 25 2019 at 16:57)</a>:</h4>
<p>yeah exactly :-)</p>



<a name="159352836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352836">(Feb 25 2019 at 16:57)</a>:</h4>
<p>in particular, I'm looking to get a handle on our async-await situation</p>



<a name="159352840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352840">(Feb 25 2019 at 16:57)</a>:</h4>
<p>and that is a major component</p>



<a name="159352851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352851">(Feb 25 2019 at 16:57)</a>:</h4>
<p>finally, I think we need to schedule a meeting to really flesh out upcasting and multi-trait object stuff</p>



<a name="159352859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352859">(Feb 25 2019 at 16:57)</a>:</h4>
<p>so if you are interested in working a bit on <em>that</em> problem, that would be great, and I had already planned to schedule a "let's figure out a plan" session around that</p>



<a name="159352870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352870">(Feb 25 2019 at 16:57)</a>:</h4>
<blockquote>
<p>finally, I think we need to schedule a meeting to really flesh out upcasting and multi-trait object stuff</p>
</blockquote>
<p>yes, so, a question mark for me is whether this is somethign we should do urgently or defer</p>



<a name="159352879"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352879" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352879">(Feb 25 2019 at 16:57)</a>:</h4>
<p>in particular I'm just trying to be realistic about overall bandwidth</p>



<a name="159352882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352882">(Feb 25 2019 at 16:57)</a>:</h4>
<p>I spoke to Guillaume Gomez about this a bit at All Hands, so he might get involved too (and dhardy if he's still around/interesteD)</p>



<a name="159352884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352884">(Feb 25 2019 at 16:58)</a>:</h4>
<p>fair enough</p>



<a name="159352937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352937">(Feb 25 2019 at 16:58)</a>:</h4>
<p>(something like the existential lifetime stuff helps multiple projects)</p>



<a name="159352952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352952">(Feb 25 2019 at 16:58)</a>:</h4>
<p>otoh I think trait object upcasting is kind of (e.g.) more implrtant than <code>let x: impl Trait</code> and some other extensions</p>



<a name="159352957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352957">(Feb 25 2019 at 16:58)</a>:</h4>
<p>maybe defer a bit? I'd like to devote time to upcasting, etc. mid-term, rather than long-term</p>



<a name="159352961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352961">(Feb 25 2019 at 16:58)</a>:</h4>
<p>in the sense that it's sort of like "make the lang we have reasonable" vs "grow lang we have"</p>



<a name="159352962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352962">(Feb 25 2019 at 16:58)</a>:</h4>
<p>yeah, I agree</p>



<a name="159352978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352978">(Feb 25 2019 at 16:58)</a>:</h4>
<blockquote>
<p>maybe defer a bit? I'd like to devote time to upcasting, etc. mid-term, rather than long-term</p>
</blockquote>
<p>yeah I think it might fall into the "shortlist" of next things to do</p>



<a name="159352987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159352987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159352987">(Feb 25 2019 at 16:59)</a>:</h4>
<p>I'd probably put the existential lifetime + related items around async-await as "immediate"</p>



<a name="159353000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353000">(Feb 25 2019 at 16:59)</a>:</h4>
<p>but since work on impl-trait-in-bindings is already in progress, an RFC obviously done, and you have rather clear ideas on it (scattered across our conversations/notes), might be worth finishing it off noentheless</p>



<a name="159353011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353011">(Feb 25 2019 at 16:59)</a>:</h4>
<blockquote>
<p>I'd probably put the existential lifetime + related items around async-await as "immediate"</p>
</blockquote>
<p>I concur with this.</p>



<a name="159353016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353016">(Feb 25 2019 at 16:59)</a>:</h4>
<blockquote>
<p>but since work on impl-trait-in-bindings is already in progress, an RFC obviously done, and you have rather clear ideas on it (scattered across our conversations/notes), might be worth finishing it off noentheless</p>
</blockquote>
<p>this is the question mark for me</p>



<a name="159353025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353025">(Feb 25 2019 at 16:59)</a>:</h4>
<p>okay</p>



<a name="159353028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353028">(Feb 25 2019 at 16:59)</a>:</h4>
<p>I think otherwise I'd not give it high priority, but there is in flight work etc</p>



<a name="159353035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353035">(Feb 25 2019 at 16:59)</a>:</h4>
<p>indeed</p>



<a name="159353039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353039">(Feb 25 2019 at 16:59)</a>:</h4>
<p>I think what I'd say is: it's worth taking the time to make the roadmap</p>



<a name="159353043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353043">(Feb 25 2019 at 16:59)</a>:</h4>
<p>but maybe we don't start walking it</p>



<a name="159353100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353100">(Feb 25 2019 at 17:00)</a>:</h4>
<p>but regardless it'll be very useful to have when we do</p>



<a name="159353115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353115">(Feb 25 2019 at 17:00)</a>:</h4>
<p>(or maybe we do, depending how it seems)</p>



<a name="159353123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353123">(Feb 25 2019 at 17:00)</a>:</h4>
<p>yeah. and no particular rush to collate those notes/conversations, since I want to help sort out the existential lifetimes issue first</p>



<a name="159353126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353126">(Feb 25 2019 at 17:00)</a>:</h4>
<p>but basically if we wait too long we'll forget all the context</p>



<a name="159353130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353130">(Feb 25 2019 at 17:00)</a>:</h4>
<p>and I think I know what needs changing for that</p>



<a name="159353140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353140">(Feb 25 2019 at 17:00)</a>:</h4>
<p>ok let me start adding some notes on this to the <a href="https://paper.dropbox.com/doc/Traits-Roadmap-sketch--AYEYyqaNyA~~NOuXZb2hCbyOAg-m6hucUslp7GihsY3SjNN2" target="_blank" title="https://paper.dropbox.com/doc/Traits-Roadmap-sketch--AYEYyqaNyA~~NOuXZb2hCbyOAg-m6hucUslp7GihsY3SjNN2">traits roadmap doc</a>..</p>



<a name="159353147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353147">(Feb 25 2019 at 17:00)</a>:</h4>
<p>indeed! I'm worried I've already forgotten a bit too much...</p>



<a name="159353169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353169">(Feb 25 2019 at 17:00)</a>:</h4>
<p>I kind of have ;) but I think I left enough notes to reconstitute</p>



<a name="159353202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353202">(Feb 25 2019 at 17:01)</a>:</h4>
<p>yeah, I think so too</p>



<a name="159353277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353277">(Feb 25 2019 at 17:02)</a>:</h4>
<p>so to start it's going to require some "grep"ing across Github, Zulip (private and public), and finding that HackMD note I think</p>



<a name="159353292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353292">(Feb 25 2019 at 17:02)</a>:</h4>
<p>there's probably 4-5 different bits.</p>



<a name="159353308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353308">(Feb 25 2019 at 17:02)</a>:</h4>
<p>with some contradictions, but generally the later conversations/notes more relevant</p>



<a name="159353348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353348">(Feb 25 2019 at 17:03)</a>:</h4>
<p>so what we've said so far is that there are 3 work items:</p>
<ul>
<li>existential lifetimes in impl trait<br>
    - kind of vague exactly what we should <em>do</em> here, but likely high priority because of async await</li>
<li>trait objects<br>
    - shortlist of upcoming improvements, defer for the moment</li>
<li>impl trait in bindings<br>
    - draw up a plan, decide what to do once we've done that</li>
</ul>



<a name="159353358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353358">(Feb 25 2019 at 17:03)</a>:</h4>
<p>I planned already to schedule some time for the first one in the context of async await</p>



<a name="159353361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353361">(Feb 25 2019 at 17:03)</a>:</h4>
<p>and I will ping you on that</p>



<a name="159353366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353366">(Feb 25 2019 at 17:03)</a>:</h4>
<p>I am hoping to do that early this week</p>



<a name="159353378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353378">(Feb 25 2019 at 17:03)</a>:</h4>
<p>for the third one, as you say, there is a bit of initial work of grepping the things</p>



<a name="159353408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353408">(Feb 25 2019 at 17:04)</a>:</h4>
<p>and we can schedule a slot for that perhaps next week?</p>



<a name="159353425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353425">(Feb 25 2019 at 17:04)</a>:</h4>
<p>or maybe later this week</p>



<a name="159353433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353433">(Feb 25 2019 at 17:04)</a>:</h4>
<blockquote>
<p>for the third one, as you say, there is a bit of initial work of grepping the things</p>
</blockquote>
<p>I think this isn't <em>too</em> bad, I know you've done it before</p>



<a name="159353436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353436">(Feb 25 2019 at 17:04)</a>:</h4>
<p>does that sound reasonable?</p>



<a name="159353448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353448">(Feb 25 2019 at 17:04)</a>:</h4>
<p>sounds good</p>



<a name="159353456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353456">(Feb 25 2019 at 17:04)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/pull/57870" target="_blank" title="https://github.com/rust-lang/rust/pull/57870">https://github.com/rust-lang/rust/pull/57870</a></p>



<a name="159353465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353465">(Feb 25 2019 at 17:05)</a>:</h4>
<p>so I think we should continue along those lines for the existential lifetimes</p>



<a name="159353472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353472">(Feb 25 2019 at 17:05)</a>:</h4>
<p>but obviously that hasn't been done quite right</p>



<a name="159353557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353557">(Feb 25 2019 at 17:06)</a>:</h4>
<p>yes, confirm</p>



<a name="159353577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353577">(Feb 25 2019 at 17:06)</a>:</h4>
<p>we need some form of "bounds" to ensure that the hidden lifetimes are not totally lost</p>



<a name="159353624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353624">(Feb 25 2019 at 17:07)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> we need to have somethign like the <code>elided_dyn_bound</code> fn for <code>impl Trait</code>?</p>



<a name="159353636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353636">(Feb 25 2019 at 17:07)</a>:</h4>
<p>which likewise calls <code>new_implicit_lifetime</code>?</p>



<a name="159353664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353664">(Feb 25 2019 at 17:07)</a>:</h4>
<p>probably</p>



<a name="159353672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353672">(Feb 25 2019 at 17:07)</a>:</h4>
<p>I'm not really sure which fns those are :)</p>



<a name="159353761"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/alexreg%20sync/near/159353761" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/alexreg.20sync.html#159353761">(Feb 25 2019 at 17:08)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> if it helps, in HIR lowering: <a href="https://gist.github.com/1bd1774426be6bb3ddc8b595deb60f70" target="_blank" title="https://gist.github.com/1bd1774426be6bb3ddc8b595deb60f70">https://gist.github.com/1bd1774426be6bb3ddc8b595deb60f70</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>